then which of the following must be true